My Experience of Research Activities in College
نویسندگان
چکیده
منابع مشابه
Report on my research activities
Level 0 considers logical formulas as data types, and conversely data types as logical specification of program behaviors. Level −1 associates programs with proofs, in a way that the hypotheses of a proof give the specifications of the inputs of the correspondent program and the thesis gives the type of the output. At last, level −2 states a correspondence between the cut reduction of proofs an...
متن کاملA Few Lessons from my Long Experience in IB Research
AIB Insights 17 my long experIence In IB research has taught me several lessons which may resemble or differ from the experiences of other researchers. I offer some of them in order to elicit your comments and generate a discussion among us. This paper is not a summary of my research work. Rather, I wanted to reflect on what I consider a few of the major challenges and implications for IB resea...
متن کاملinvestigating the translation expectancy norms of iranian college student readership in terms of english fiction in persian
مفهوم هنجار برای اولین بار توسط دانشمندی به نام گیدون توری در اواخر دهه 70 مطرح شد. هنجارها توسط محققان مختلفی طبقه بندی شده اند؛ نوع هنجاری که در این تحقیق مورد بحث است "هنجار انتظارات" است. مطالعات ترجمه یک رشته ی نوپا و مستقل است که هنوز به رشد کامل خود نرسیده و بسیاری از شاخه های آن نیاز به پژوهش دارند. یکی ازاین حوزه ها که نیاز به پژوهش دارند، هنجارهای ترجمه هستند به ویژه هنجارهای انتظارات...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Japan Society of Hydrology and Water Resources
سال: 2017
ISSN: 0915-1389,1349-2853
DOI: 10.3178/jjshwr.30.185